" Wei-Ngan Chin" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture ... Programming and Software Engineering)

Ahmed Bouajjani, Wei-Ngan Chin

Категория: Техника

6.00 Mb

#2

Programming Languages and Systems, 2 conf., APLAS 2004

Категория: Cs_Computer science, CsLn_Lecture notes

4.69 Mb